package heraclito;

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */


import logic.Formula;

/**
 *
 * @author Usuário
 */
public class Teorema extends Linha {
    private String teorema;

    public Teorema(String teorema) {
        this.teorema=teorema;
        setFormula(new Formula());
        setProposition(teorema.substring(teorema.indexOf("|-")+2));
    }

    @Override
    public String salvar()
    {
        return teorema;
    }
    
    @Override
    public String toString() {
        return teorema;
    }
    
}
